机译:减少凸包:支持向量机的几何方法[讲义]
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:基于差分几何和并行学习方法的动力系统故障检测
机译:Livepotes:一个合作和增强笔记的系统
机译:关于控制中仿射非线性系统的微分几何方法的进一步结果。
机译:外部微分系统和椭圆方程
机译:外部差动系统的注意事项